Namespacing everything to /UVa.
[andmenj-acm.git] / UVa / 11203 - Can you decide it for ME / out2.txt
blob56e8c6b4ad5326385739fd1bb7c07a73a2a196f9
1 no-theorem\r
2 no-theorem\r
3 no-theorem\r
4 theorem\r
5 no-theorem\r
6 no-theorem\r
7 no-theorem\r
8 no-theorem\r
9 no-theorem\r
10 theorem\r